Issue783b.agda:3,11-14
Set₁ !=< Agda.Primitive.Level
when checking that the expression Set has type Agda.Primitive.Level
